// Оператор dynamic_cast
